退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:松弛记忆模型的部分相干抽象
Michael Kuperstein; Martin Vechev; Eran Yahav;
机译:宽松内存模型的部分相干抽象
机译:在宽松的内存模型下进行验证的有效抽象
机译:持久内存:抽象,抽象和抽象
机译:受生物启发的任务抽象和工作记忆泛化模型
机译:关系记忆:白天的午睡促进了一般概念的抽象
机译:放松内存模型的部分连贯性抽象
机译:在确保一致性的同时,能够直接访问以双重抽象建模的目标系统存储器的方法和装置
机译:在双重抽象建模的电子系统的存储子系统中保持一致性的方法和装置
机译:查找宽松的内存模型漏洞的技术
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。